Languages and Programming

Results: 5418



#Item
41Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2016-03-22 14:28:09
    42Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

    Notions of computation and monads Eugenio Moggi∗ Abstract The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one

    Add to Reading List

    Source URL: core.ac.uk

    - Date: 2014-10-31 12:11:04
      43Tight Bounds for Linkages in Planar Graphs. 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Irrelevant Vertices for the Planar D

      Tight Bounds for Linkages in Planar Graphs. 38th International Colloquium on Automata, Languages and Programming, ICALP 2011, Lecture Notes in Computer Science, Springer Verlag, 2011. Irrelevant Vertices for the Planar D

      Add to Reading List

      Source URL: users.uoa.gr

      - Date: 2014-06-11 17:30:28
        44Principles to Scaffold Mixed Textual and Iconic End-User Programming Languages Cyndi Rader, Gina Cherry, Cathy Brand, Alexander Repenning and Clayton Lewis University of Colorado Campus Box 430, Boulder, CO {c

        Principles to Scaffold Mixed Textual and Iconic End-User Programming Languages Cyndi Rader, Gina Cherry, Cathy Brand, Alexander Repenning and Clayton Lewis University of Colorado Campus Box 430, Boulder, CO {c

        Add to Reading List

        Source URL: www.cs.colorado.edu

        - Date: 1999-01-18 12:49:31
          45

          -68262500FAO Lorraine Murphy ISO/IEC JTC 1/SC 22/WG 14 Programming languages, their environments and system software interfaces – C Visa Request

          Add to Reading List

          Source URL: www.open-std.org

          - Date: 2015-11-22 20:08:54
            46Impact of Software Engineering Research on Modern Programming Languages Report on a work in progress ! Barbara G. Ryder and Mary Lou Soffa

            Impact of Software Engineering Research on Modern Programming Languages Report on a work in progress ! Barbara G. Ryder and Mary Lou Soffa

            Add to Reading List

            Source URL: www.sigsoft.org

            - Date: 2014-01-11 14:38:53
              47Advances in Programming Languages APL18: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh

              Advances in Programming Languages APL18: Bridging Query and Programming Languages Ian Stark School of Informatics The University of Edinburgh

              Add to Reading List

              Source URL: www.inf.ed.ac.uk

              - Date: 2010-03-10 21:26:25
                48Towards Fast and Declarative Meta-programming Antony F. Bowers and Corin A. Gurr January 1995 Abstract Meta-programming, the ability to manipulate programs as data, is fundamental to the success of declarative languages.

                Towards Fast and Declarative Meta-programming Antony F. Bowers and Corin A. Gurr January 1995 Abstract Meta-programming, the ability to manipulate programs as data, is fundamental to the success of declarative languages.

                Add to Reading List

                Source URL: repository.readscheme.org

                - Date: 2010-10-22 08:05:10
                  49What  is  Programming? Aspects  of  Programming,  Computer   Languages,  Objects  and  Object-­Oriented   Programming Andries van  D am   © 2015  

                  What  is  Programming? Aspects  of  Programming,  Computer   Languages,  Objects  and  Object-­Oriented   Programming Andries van  D am   © 2015  

                  Add to Reading List

                  Source URL: cs.brown.edu

                  - Date: 2015-09-10 10:45:06
                    50Teachpacks VersionApril 2, 2010 Teaching languages are small subsets of a full programming language. While such restrictions simplify error diagnosis and the construction of tools, they also make it impossible

                    Teachpacks VersionApril 2, 2010 Teaching languages are small subsets of a full programming language. While such restrictions simplify error diagnosis and the construction of tools, they also make it impossible

                    Add to Reading List

                    Source URL: download.plt-scheme.org

                    - Date: 2010-04-02 17:30:56